-
1 deductive proof
Большой англо-русский и русско-английский словарь > deductive proof
-
2 deductive proof
Математика: дедуктивное доказательство -
3 deductive proof
-
4 deductive proof
The New English-Russian Dictionary of Radio-electronics > deductive proof
-
5 deductive proof
дедуктивное доказательствоEnglish-Russian dictionary of technical terms > deductive proof
-
6 deductive proof
-
7 deductive proof
Англо-русский словарь по исследованиям и ноу-хау > deductive proof
-
8 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
9 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
10 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
11 дедуктивное доказательство
Большой англо-русский и русско-английский словарь > дедуктивное доказательство
-
12 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
13 theory
1) теория
2) <phys.> борновский
3) учение
4) толкование
5) трактовка
6) истолкование
– abandon theory
– accept theory
– acid-base theory
– advance theory
– airfoil theory
– atomic theory
– band theory
– Bardeen-Cooper-Schrieffer theory
– BCS theory
– circuit theory
– classical theory
– collision theory
– combinatorial theory
– communication theory
– control theory
– deductive theory
– dimensional theory
– dislocation theory
– duality theory
– field theory
– formal theory
– gage theory
– Gersho-Rosencwaig theory
– graph theory
– group theory
– ideal theory
– impact theory
– in theory
– informal theory
– information theory
– measure theory
– object theory
– percolation theory
– pertubation theory
– perturbation theory
– probability theory
– proof theory
– quantum theory
– queueing theory
– queuing theory
– ray theory
– reject theory
– relativity theory
– reliability theory
– residue theory
– rigorous theory
– scheduling theory
– second-order theory
– set theory
– shower theory
– similarity theory
– stability theory
– switching-circuit theory
– theory of correspondence
– theory of elasticity
– theory of estimation
– theory of games
– theory of probability
– theory of queues
– theory of relativity
– theory of sampling
– theory of solids
– theory of valuations
– transport theory
additive ideal theory — <math.> теория идеалов аддитивная
barrier theory of cyclogenesis — <meteor.> теория циклогенеза заслоночная
general theory of relativity — <phys.> теория относительности общая
grand unification theory — <phys.> модель большого объединения, модель великого объединения
unified field theory — <phys.> теория поля единая, теория поля обобщенная
Yukawa meson theory — <phys.> теория мезонная юкавская
-
14 construction
1) сооружение, строительство3) конструкция4) матем. построение5) строение; сооружение6) структура•construction subsidized by public funds — строительство, финансируемое из общественных фондов
constructions on a stereogram — матем. построения на стереографической проекции
-
15 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
16 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
17 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory
См. также в других словарях:
Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Deductive system — A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1] Such a deductive system is intended to preserve… … Wikipedia
Deductive fallacy — A deductive fallacy is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion.[1] Thus, a deductive fallacy is a fallacy where deduction goes wrong, and is no longer a… … Wikipedia
proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… … Universalium
proof — Synonyms and related words: Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, airtight, ammunition, angelophany, announcement, appearance, argument, assay,… … Moby Thesaurus
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
conditional proof, rule of — The rule in a deductive system that if A1…An⊦ B then A1…An–⊦ An→ B … Philosophy dictionary
Descartes: methodology — Stephen Gaukroger INTRODUCTION The seventeenth century is often referred to as the century of the Scientific Revolution, a time of fundamental scientific change in which traditional theories were either replaced by new ones or radically… … History of philosophy
